cubical set
#Fleeting_Notes
cubical set(立法的集合)
単体的集合
(simplicial set)の
単体
を立方体なるものに変えたもの
確認用
Q. cubical set
関連
Cubical Type Theory
メモ
石川 剛郎
. トポロジー入門. 2014.
https://www.topo.hokudai.ac.jp/education/SpecialLecture/140411.pdf
Cubical set とその変種
A Model of Type Theory in Cubical Sets
【1701.08189】 Varieties of Cubical Sets
【1011.4870】 Comparison of Cubical and Simplicial Derived Functors
connection on a cubical set in nLab
調査用
Google.icon
立法的集合(日)
Google.icon
Cubical set(英)
Wikipedia.icon
立法的集合 - Wikipedia(日)
立法的集合(検索) - Wikipedia(日)
Wikipedia.icon
Cubical set - Wikipedia(英)
Cubical set(検索) - Wikipedia(英)